Version space learning